Truth table for $$$\left(p \rightarrow q\right) \leftrightarrow \left(\neg q \rightarrow \neg p\right)$$$

The calculator will generate the truth table for the given logic formula $$$\left(p \rightarrow q\right) \leftrightarrow \left(\neg q \rightarrow \neg p\right)$$$, with steps shown.

Related calculator: Boolean Algebra Calculator

Expression:

If you have a set of expressions, comma-separate them.

Ordering:

Leave empty for default ordering or specify variables like p,r,q (comma-separated).

Full table?

Binary numbers?

$$$\neg$$$, not, ~	$$$\wedge$$$, and	$$$\vee$$$, or	$$$\uparrow$$$, nand	$$$\downarrow$$$, nor	$$$\leftrightarrow$$$, =, xnor
$$$\rightarrow$$$, =>	$$$\leftarrow$$$, <=	$$$\nrightarrow$$$, -->	$$$\nleftarrow$$$, <--	$$$\oplus$$$, xor	$$$\top$$$, T	$$$\bot$$$, F

If the calculator did not compute something or you have identified an error, or you have a suggestion/feedback, please write it in the comments below.